<html>
<head><meta charset="utf-8"><title>rename working group · t-lang/wg-unsafe-code-guidelines · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/index.html">t-lang/wg-unsafe-code-guidelines</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html">rename working group</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="172054842"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172054842" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> gnzlbg <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172054842">(Jul 30 2019 at 16:49)</a>:</h4>
<p>We've talked about this before, but what's the purpose of the working group and how does the name reflect that ?</p>
<p>"Unsafe code guidelines" reads as if the goal and purpose of the working group was to write down some guidelines for unsafe code, yet I don't think we have written a single guideline anywhere yet. Looking at the documents, we have defined the layout of Rust types, and provided layout guarantees, and in the issues, PRs and WIP documents, we are now dealing with what is the value representation of Rust types, which value representations are allowed, and which optimizations are guaranteed to happen for invalid value representations. There are also documents about an aliasing model, a memory model, and some do mention operational semantics, etc.</p>
<p>None of these look like "guidelines" at all, at least, not in the sense of, for example, the "API guidelines", which users are safe to just ignore. From the POV of releasing a first RFC at some point, "UCG RFC" would be a weird title if the document does not contain any guidelines at all. </p>
<p>I don't really know how we could give any guidelines to unsafe code, without a formal spec backing those up, but everything that has happened here does look like the first little steps towards a formal spec for Rust.</p>
<p>cc <span class="user-mention" data-user-id="116009">@nikomatsakis</span></p>



<a name="172063325"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172063325" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172063325">(Jul 30 2019 at 18:26)</a>:</h4>
<p>maybe UCG is for "Unsafe Code Group"? ;)</p>



<a name="172067218"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172067218" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172067218">(Jul 30 2019 at 19:10)</a>:</h4>
<blockquote>
<p>PR WIP API POV RFC UCG RFC</p>
</blockquote>



<a name="172067413"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172067413" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172067413">(Jul 30 2019 at 19:12)</a>:</h4>
<p>I feel like working groups should have an end goal and be disbanded when the goal is achieved. With that view, the guidelines would answer the question "how can I write safe <code>unsafe</code> Rust?".</p>
<p>There's indeed a lot of steps from A to B.</p>



<a name="172067700"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172067700" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172067700">(Jul 30 2019 at 19:16)</a>:</h4>
<p>But having a specific goal can allow you to evaluate if a given point falls within the purview of the working group</p>



<a name="172077711"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172077711" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172077711">(Jul 30 2019 at 21:23)</a>:</h4>
<p>I'd rename the WG to "The machinists" ;)</p>



<a name="172078692"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172078692" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172078692">(Jul 30 2019 at 21:37)</a>:</h4>
<p>the specific goal could be a spec for unsafe code. "UCS WG"?</p>



<a name="172094741"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172094741" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Lokathor <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172094741">(Jul 31 2019 at 02:44)</a>:</h4>
<p>I don't know how you write your unsafe code, but simply specifying all you can is very literally the only thing that all the unsafe coders I know need</p>



<a name="172094765"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172094765" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Lokathor <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172094765">(Jul 31 2019 at 02:45)</a>:</h4>
<p>People interested in unsafe code just need a clear set of "physics" for what goes on in rust when you step behind the curtain, and they'll do all the rest on their own quite well</p>



<a name="172100612"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172100612" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tom Phinney <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172100612">(Jul 31 2019 at 05:34)</a>:</h4>
<p>^^ If that's the case, then perhaps we should rename it "The Avoiding-UB Working Group" because that's the primary "physics" that they need to deal with when they "step behind the curtain".</p>



<a name="172103842"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172103842" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172103842">(Jul 31 2019 at 07:02)</a>:</h4>
<p>or maybe just the "UB working group" and then people just have to avoid us :P</p>



<a name="172103961"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172103961" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172103961">(Jul 31 2019 at 07:05)</a>:</h4>
<p>however I think the WG is actually broader than that (though my own focus is almost entirely on UB); specifying what we guarantee about data type layout is not directly about specifying UB.</p>



<a name="172105888"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172105888" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Lokathor <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172105888">(Jul 31 2019 at 07:46)</a>:</h4>
<p>Yeah I think that all the layout work is an important first step but there's definitely later steps as well.</p>



<a name="172105926"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172105926" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> gnzlbg <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172105926">(Jul 31 2019 at 07:47)</a>:</h4>
<blockquote>
<p>the specific goal could be a spec for unsafe code.</p>
</blockquote>
<p>I don't know how to write a spec for unsafe Rust that does not also produce a spec for safe Rust, and hence, Rust itself</p>



<a name="172106027"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172106027" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> gnzlbg <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172106027">(Jul 31 2019 at 07:49)</a>:</h4>
<blockquote>
<p>Tom Phinney 7:34 AM   <br>
^^ If that's the case, then perhaps we should rename it "The Avoiding-UB Working Group" because that's the primary "physics" that they need to deal with when they "step behind the curtain".</p>
</blockquote>
<p>Once you add multiple-threads, then you need a memory model to avoid UB around atomics, etc... The "repo" was actually called "memory-model" before</p>



<a name="172106093"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172106093" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> gnzlbg <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172106093">(Jul 31 2019 at 07:50)</a>:</h4>
<p>FWIW I think that what we need is a language spec for Rust, for where "what is unsafe code allowed to do" can be derived</p>



<a name="172106126"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172106126" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> gnzlbg <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172106126">(Jul 31 2019 at 07:51)</a>:</h4>
<p>Coming up with a language spec is an incremental and iterative process, and we are kind of focusing as "what guarantees can we provide to unsafe code so that it can answer some question about whether the code is correct"</p>



<a name="172106213"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172106213" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> gnzlbg <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172106213">(Jul 31 2019 at 07:53)</a>:</h4>
<p>right now we don't even say whether creating an uninitialized 'u8' is ok, and some people want guarantees about multi-threaded code, signal handlers, data-races, aliasing, ....<br>
by the time we are able to provide most of those guarantees, a formal spec will have to exist in some form</p>



<a name="172106784"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172106784" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172106784">(Jul 31 2019 at 08:03)</a>:</h4>
<blockquote>
<blockquote>
<p>the specific goal could be a spec for unsafe code.</p>
</blockquote>
<p>I don't know how to write a spec for unsafe Rust that does not also produce a spec for safe Rust, and hence, Rust itself</p>
</blockquote>
<p>agreed. it's just that most of the spec for safe Rust is "rather obvious". hence I think it is useful to emphasize the "unsafe" or "UB" aspect of our work.</p>



<a name="172109491"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172109491" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> gnzlbg <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172109491">(Jul 31 2019 at 08:49)</a>:</h4>
<p>The ISO C++ committe has a study group (SG12) called the Undefined Behavior Study Group (SG12) whose goal is to remove undefined / unspecified behavior from the spec. So maybe we are something like that, in which we try to remove unspecified and undefined behavior from the reference.</p>



<a name="172109842"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172109842" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172109842">(Jul 31 2019 at 08:54)</a>:</h4>
<p>I see our job more as <em>defining</em> what exactly is UB and what is not</p>



<a name="172109852"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172109852" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172109852">(Jul 31 2019 at 08:54)</a>:</h4>
<p>cutting down the amount of UB would be a second step, after we know better which UB we got</p>



<a name="172110014"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172110014" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> gnzlbg <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172110014">(Jul 31 2019 at 08:56)</a>:</h4>
<p>i see going from unspecified to explicitly UB an improvement</p>



<a name="172110027"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172110027" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> gnzlbg <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172110027">(Jul 31 2019 at 08:56)</a>:</h4>
<p>so I suppose we agree</p>



<a name="172146081"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172146081" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172146081">(Jul 31 2019 at 17:20)</a>:</h4>
<blockquote>
<p>however I think the WG is actually broader than that (though my own focus is almost entirely on UB); specifying what we guarantee about data type layout is not directly about specifying UB.</p>
</blockquote>
<p>This is why I somewhat jokingly suggested "The machinists" because this WG is mostly about advising the language team on the spec of the abstract machine.</p>



<a name="172146114"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172146114" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172146114">(Jul 31 2019 at 17:21)</a>:</h4>
<p>and guidelines re. unsafe fall out from that</p>



<a name="172147939"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172147939" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Tom Phinney <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172147939">(Jul 31 2019 at 17:42)</a>:</h4>
<blockquote>
<p>This is why I somewhat jokingly suggested "The machinists" because this WG is mostly about advising the language team on the spec of the abstract machine.</p>
</blockquote>
<p><code>t-lang/wg-abstract-machine</code> would span all the edge cases (UB, layout, multi-thread) that we're discussing here, and undoubtedly others that we haven't yet considered. It also would mandate that some attention be given to documenting the more-obvious parts of the Rust abstract machine, but 1) that's an eventual requirement for a complete specification of Rust, and 2) much of that can probably be lifted from similar efforts for other languages.</p>



<a name="172148449"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172148449" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Hanna Kruppe <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172148449">(Jul 31 2019 at 17:46)</a>:</h4>
<p>Considering how much trouble we've had getting write-ups done so far, I am somewhat skeptical of taking on more "busy work" like bikeshedding the best way to write up operational semantics that say eg <code>1 + 1</code> does what one expects</p>



<a name="172150065"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172150065" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172150065">(Jul 31 2019 at 18:03)</a>:</h4>
<p>agreed <span class="user-mention" data-user-id="124289">@rkruppe</span>, but I still like "Rust Abstract Machine WG", as long as we make sure people still ping us when UB questions come up.</p>



<a name="172150150"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172150150" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172150150">(Jul 31 2019 at 18:03)</a>:</h4>
<p>of course, the main reason I like it is that it entrnches my agenda of putting the abstract machine first, not the set of optimizations that can be performed. ;)</p>



<a name="172150722"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172150722" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> gnzlbg <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172150722">(Jul 31 2019 at 18:08)</a>:</h4>
<blockquote>
<p>I am somewhat skeptical of taking on more "busy work" like bikeshedding the best way to write up operational semantics that say eg 1 + 1 does what one expects</p>
</blockquote>



<a name="172150781"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172150781" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> gnzlbg <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172150781">(Jul 31 2019 at 18:09)</a>:</h4>
<p>we wouldn't take that work yet, we would punt it to some time point in the future, in the same way we avoided validity while discussing layout</p>



<a name="172188146"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172188146" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Lokathor <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172188146">(Aug 01 2019 at 03:43)</a>:</h4>
<p>"The RAM WG", perfect</p>



<a name="172306934"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172306934" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> gnzlbg <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172306934">(Aug 02 2019 at 13:11)</a>:</h4>
<blockquote>
<p>"Rust Abstract Machine WG"</p>
</blockquote>
<p>That sounds good to me.</p>



<a name="172306959"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename%20working%20group/near/172306959" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> gnzlbg <a href="https://rust-lang.github.io/zulip_archive/stream/136281-t-lang/wg-unsafe-code-guidelines/topic/rename.20working.20group.html#172306959">(Aug 02 2019 at 13:11)</a>:</h4>
<p>wg-abstract-machine or similar as short</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>